////////////////////////////////////////////////////////////////////////////////
// This file is part of the Mist compiler.                                    //
//                                                                            //
// Copyright (C) 2008, 2009, 2010 The Mist project                            //
//                                                                            //
// For a list of contributors, see the COMMITTERS file.                       //
//                                                                            //
// The Mist compiler is free software: you can redistribute it and/or modify  //
// it under the terms of the GNU General Public License as published by       //
// the Free Software Foundation, either version 3 of the License, or          //
// (at your option) any later version.                                        //
//                                                                            //
// The Mist compiler is distributed in the hope that it will be useful,       //
// but WITHOUT ANY WARRANTY; without even the implied warranty of             //
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the              //
// GNU General Public License for more details.                               //
//                                                                            //
// You should have received a copy of the GNU General Public License          //
// in the COPYING file. If not, see <http://www.gnu.org/licenses/>.           //
////////////////////////////////////////////////////////////////////////////////

///
/// \file
/// Contains the assertion system related function implementations.
///

#include "common/assert.hpp"

////////////////////////////////////////////////////////////////////////////////
// Includes                                                                   //
////////////////////////////////////////////////////////////////////////////////

#include "common/numeric.hpp"
#include "common/string.hpp"

////////////////////////////////////////////////////////////////////////////////
// Function Implementations                                                   //
////////////////////////////////////////////////////////////////////////////////

AssertionFailure::AssertionFailure(string expression      , string function,
                                   string file            , long line) :
                                   _expression(expression), _function(function),
                                   _file(file)            , _line(line) {
} // intentionally empty

const char* AssertionFailure::what() const throw() {
	_message = what_str();
	
	return _message.c_str();
}

string AssertionFailure::what_str() const throw() {
	string result;
	
	try {
		result = file() + ":" + to_string(line()) + ": assertion ("
		       + expression() + ") failed";
	} catch(...) {
		result = "An assertion was thrown. But something went wrong "
	             "while printing the assertion failure.";
	}
	
	return result;
}

const string& AssertionFailure::expression() const throw() {
	return _expression;
}

const string& AssertionFailure::function() const throw() {
	return _function;
}

const string& AssertionFailure::file() const throw() {
	return _file;
}

long AssertionFailure::line() const throw() {
	return _line;
}

namespace boost {
	void assertion_failed(char const * expr, char const * function, char const * file, long line) {
		throw AssertionFailure(expr, function, file, line);
	}
}
